421. Toward "Principia mathematica", 1905-08 /
پدیدآورنده : Bertrand Russell ; edited by Gregory H. Moore.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1649
.
R91
1983
422. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
423. Towards an arithmetical logic :
پدیدآورنده : by Yvon Gauthier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
424. Towards an arithmetical logic :
پدیدآورنده : Yvon Gauthier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
425. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
426. Towards mathematical philosophy
پدیدآورنده : / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
T68
,
2008
427. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
428. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
429. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
430. Traffic Control and Transport Planning:
پدیدآورنده : by Dušan Teodorović, Katarina Vukadinović.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
431. Translations from the philosophical writings of Gottlob Frege
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
BC
135
.
F73T7
1980
432. Uncertainty-Based Information
پدیدآورنده : by George J. Klir, Mark J. Wierman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
433. Visualization, Explanation and Reasoning Styles in Mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
434. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA8
.
6
.
V57
2005
435. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mathematics--Philosophy,Logic, Symbolic and mathematical.,Visualization.
رده :
QA
,
8
.
6
,.
V57
,
2005
436. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
437. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
438. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
439. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
440. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
